Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Foundations of 3D Graphics Programming : Using JOGL and Java3D
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
اقرأ المزيد
Human-Computer Interaction. HCI Applications and Services
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This ...
اقرأ المزيد
Improvements in System Safety
Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems ...
اقرأ المزيد
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيد
Multiagent Engineering
1 Multiagent Engineering: A New Software Construction Paradigm Multiagent systems have a long academic tradition. They have ...
اقرأ المزيد
Parallel Problem Solving from Nature - PPSN IX
We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...
اقرأ المزيد
Peer-to-Peer Systems IV
Constitutes the post-proceedings of the 4th International Workshop on Peer-to-Peer Systems, IPTPS 2005, held at Cornell University, ...
اقرأ المزيد
Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...
اقرأ المزيد
Practical Software Factories in .NET
This book was written in order to demystify the software factories paradigm by guiding you through a practical case study, ...
اقرأ المزيد
Pro .NET 2.0 Code and Design Standards in C#
This book is special, because for the first time you get an easy-to-follow set of code and design standards that addresses ...
اقرأ المزيد
Pro Hibernate 3
Pro Hibernate 3 is the first book to offer complete coverage of the open source lightweight Hibernate 3 and its features. ...
اقرأ المزيد
Quality Of Protection
Information security in the business setting has matured in the last few decades. Standards, such as IS017799, the Common ...
اقرأ المزيد
Requirements Management : The Interface Between Requirements Development and All Other Systems Engineering Processes
Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
اقرأ المزيد
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيد
Security in E-Learning
Security in E-Learning is organized in three parts. Emphasizes that security is mainly an organizational and management issue. ...
اقرأ المزيد
Self-Organizing Systems
This book constitutes the refereed proceedings of the First International Workshop on Self-Organizing Systems, IWSOS 2006. ...
اقرأ المزيد
Shell Scripting Recipes
This book is geared towards any Unix user who doesn't want to spend time creating or testing shell scripts. Instead, Shell ...
اقرأ المزيد
Software Engineering 3
Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
اقرأ المزيد
Software Engineering Approaches for Offshore and Outsourced Development
The aim of the present volume is different. We recognize that of shore development is here to stay, and not just a result ...
اقرأ المزيد
